#include <linux/memblock.h>
#include <linux/memheap.h>

extern void bootcon_sbi_init(void);

extern unsigned int __bss_end;

#define HEAP_BEGIN ((void *)&__bss_end)

void machine_init(void)
{
    bootcon_sbi_init();

    memheap_add(HEAP_BEGIN, HEAP_BEGIN + 1024*1024*2, 0);
}
